A proof that there were only 17 distinct groups of possible patterns was first carried out by Evgraf Fedorov in 1891 and then derived independently by George Pólya in 1924. La preuve qu'il n'existe que 17 groupes de papier peint a d'abord été fournie par Evgraf Fedorov en 1891, puis démontrée indépendamment par George Pólya en 1924.
